121. Structural proof theory
پدیدآورنده: / Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Proof theory
رده :
QA9
.
54
.
N4S8
122. Structural proof theory
پدیدآورنده: Negri, Sara
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Proof theory
رده :
511
N389s
123. Structural proof theory
پدیدآورنده: Negri, Sara,1967-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Proof theory
رده :
QA
9
.
54
.
N44
124. Structural proof theory
پدیدآورنده: Negri, Sara
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
2001
125. Structural proof theory
پدیدآورنده: Sara Negri, Jan von Plato; with an appendix by Aarne Ranta
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
127. The semantics and proof theory of the logic of bunched implications
پدیدآورنده : Pym, David J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
128. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده: Gerhard Jager
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986
129. Theory-Hybrid Logic and its Proof
پدیدآورنده: nerیTorben Bra
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: LINGUISTICS AND LANGUAGE,Religion and Philosophy
130. Truth, Proof and Infinity A Theory of Constructive Reasoning.
پدیدآورنده: Fletcher, P.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
131. Type Theory and Formal Proof: An Introduction
پدیدآورنده: / Professor Rob Nederpelt, Professor Herman Geuvers
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
132. Type theory and formal proof :
پدیدآورنده: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Type theory
رده :
QA9
.
N37
2014
133. What logics mean : from proof theory to model-theoretic semantics
پدیدآورنده: James W. Garson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic,، Semantics,، Logic, Symbolic and mathematical
رده :
BC
71
.
G37W45
134. classical logics /-Arnon Avron on semantics and proof theory of non
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
135. proof theory
پدیدآورنده: Schutte, Kurt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
S3813
136. proof theory for fuzzy logics
پدیدآورنده: / by george metcalfe, nicola olivetti, dov gabby
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: Fuzzy logic,Proof theory
رده :
QA
9
.
64
.
P78
2009
